Categories For The Working Mathematician
   HOME

TheInfoList



OR:

''Categories for the Working Mathematician'' (''CWM'') is a textbook in
category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, ca ...
written by American mathematician Saunders Mac Lane, who cofounded the subject together with Samuel Eilenberg. It was first published in 1971, and is based on his lectures on the subject given at the University of Chicago, the
Australian National University The Australian National University (ANU) is a public research university located in Canberra, the capital of Australia. Its main campus in Acton encompasses seven teaching and research colleges, in addition to several national academies and ...
,
Bowdoin College Bowdoin College ( ) is a private liberal arts college in Brunswick, Maine. When Bowdoin was chartered in 1794, Maine was still a part of the Commonwealth of Massachusetts. The college offers 34 majors and 36 minors, as well as several joint eng ...
, and Tulane University. It is widely regarded as the premier introduction to the subject.


Contents

The book has twelve chapters, which are: :Chapter I. Categories, Functors, and Natural Transformations. :Chapter II. Constructions on Categories. :Chapter III. Universals and
Limit Limit or Limits may refer to: Arts and media * ''Limit'' (manga), a manga by Keiko Suenobu * ''Limit'' (film), a South Korean film * Limit (music), a way to characterize harmony * "Limit" (song), a 2016 single by Luna Sea * "Limits", a 2019 ...
s. :Chapter IV. Adjoints. :Chapter V. Limits. :Chapter VI. Monads and Algebras. :Chapter VII. Monoids. :Chapter VIII. Abelian Categories. :Chapter IX. Special Limits. :Chapter X. Kan Extensions. :Chapter XI. Symmetry and Braiding in Monoidal Categories :Chapter XII. Structures in Categories. Chapters XI and XII were added in the 1998 second edition, the first in view of its importance in
string theory In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and interac ...
and
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
, and the second to address higher-dimensional categories that have come into prominence. Although it is the classic reference for
category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, ca ...
, some of the terminology is not standard. In particular, Mac Lane attempted to settle an ambiguity in usage for the terms epimorphism and monomorphism by introducing the terms ''epic'' and ''monic,'' but the distinction is not in common use.


References

#


Notes

{{reflist 1971 non-fiction books Mathematics books Monographs Category theory